Gyesik Lee: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Kripke models for classical logic

Danko Ilik, Gyesik Lee, Hugo Herbelin

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 382 KB

english, 2010

2

A comparison of well-known ordinal notation systems for

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 423 KB

english, 2007

3

Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers

Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann

Journal:

Journal of Combinatorial Theory, Series A

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

4

Sharp thresholds for hypergraph regressive Ramsey numbers

Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann

Journal:

Journal of Combinatorial Theory, Series A

Year:

2011

Language:

english

File:

PDF, 336 KB

english, 2011

5

Phospholipase C, protein kinase C, Ca2+/calmodulin-dependent protein kinase II, and redox state are involved in epigallocatechin gallate-induced phospholipase D activation in human astroglioma cells

Shi Yeon Kim, Bong-Hyun Ahn, Joonmo Kim, Yoe-Sik Bae, Jong-Young Kwak, Gyesik Min, Taeg Kyu Kwon, Jong-Soo Chang, Young Han Lee, Shin-Hee Yoon, Do Sik Min

Journal:

Year:

2004

Language:

english

File:

PDF, 526 KB

english, 2004

6

Mechanizing Metatheory Without Typing Contexts

Park, Jonghyun, Seo, Jeongbong, Park, Sungwoo, Lee, Gyesik

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

7

[IEEE 2009 IEEE Vehicular Networking Conference (IEEE VNC) - Tokyo, Japan (2009.10.28-2009.10.30)] 2009 IEEE Vehicular Networking Conference (VNC) - Formally verifiable features in embedded vehicular security systems

Lee, Gyesik, Oguma, Hisashi, Yoshioka, Akira, Shigetomi, Rie, Otsuka, Akira, Imai, Hideki

Year:

2009

Language:

english

File:

PDF, 508 KB

english, 2009

8

Inhibitory Actions of HERG Currents by the Immunosuppressant Drug Cyclosporin A

Lee, Seung Ho, Hahn, Sang June, Min, Gyesik, Kim, Jimok, Jo, Su-Hyun, Choe, Han, Choi, Bok Hee

Journal:

Korean Journal of Physiology and Pharmacology

Year:

2011

Language:

english

File:

PDF, 870 KB

english, 2011

9

Ligand-activated PPARδ inhibits UVB-induced senescence of human keratinocytes via PTEN-mediated inhibition of superoxide production

Ham, Sun Ah, Hwang, Jung Seok, Yoo, Taesik, Lee, Hanna, Kang, Eun Sil, Park, Chankyu, Oh, Jae‑Wook, Lee, Hoon Taek, Min, Gyesik, Kim, Jin‑Hoi, Seo, Han Geuk

Journal:

Biochemical Journal

Year:

2012

Language:

english

File:

PDF, 1.64 MB

english, 2012